пара функторов

См. также в других словарях:

• Сопряжённые функторы — в математике и в частности в теорий категорий  это пара функторов, состоящих в определённом соотношении между собой. Сопряжённые функторы часто встречаются в разных областях математики. Неформально функторы F и G сопряжены, если они… …   Википедия

• Схема (математика) — В алгебраической геометрии схема  это абстракция, позволяющая связать единым образом коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести… …   Википедия

• МОДУЛЕЙ ТЕОРИЯ — теория, изучающая непрерывные семейства объектов алгебраич. геометрии. Пусть А класс объектов алгебраич. геометрии (многообразий, схем, векторных расслоений и т. п.), на к ром задано нек рое отношение эквивалентности R. Основная задача… …   Математическая энциклопедия

• ПОСЛЕДОВАТЕЛЬНОСТЕЙ КАТЕГОРИЯ — частный случай общей конструкции категории функторов или категории диаграмм. Пусть множество целых чисел, снабженное обычным отношением порядка. Тогда можно рассматривать как малую категорию, объектами к рой являются целые числа, а морфизмами… …   Математическая энциклопедия

• ТРОЙКА — монада, в категории моноид в категории функторов. Другими словами, Т. в категории наз. ковариантный функтор снабженный такими естественными преобразованиями и что следующие диаграммы коммутативны (здесь обозначает тождественный функтор категории… …   Математическая энциклопедия

• ДЕФОРМАЦИЯ — 1) Д. аналитической структуры семейство аналитич. ространств (или связанных с ними аналитич. объектов), зависящее от параметров. Теория Д. возникла из задачи классификации всевозможных попарно не изоморфных комплексных структур на данном… …   Математическая энциклопедия

• ИНТЕРПОЛИРОВАНИЕ ОПЕРАТОРОВ — получение из известных свойств оператора в двух или нескольких пространствах выводов о свойствах этого оператора в нек рых в определенном смысле промежуточных пространствах. Банаховой парой A, В наз. два банаховых пространства, алгебраически и… …   Математическая энциклопедия

• ФУНКТОР — отображение одной категории в другую, согласованное со структурой категории. Точнее, одноместным ковариантным функтором из категории в категорию или, короче, Ф. из в наз. пара отображений обозначаемых обычно одной и той же буквой, напр. F… …   Математическая энциклопедия

• ОБОБЩЕННЫЕ ТЕОРИИ КОГОМОЛОГИИ — экстраординарные теории когомологий, класс специальных функторов из категории пар пространств в категорию градуированных абелевых групп. О. т. к. есть пара функтор из категории Рпар топологич. пространств в категорию GA градуированных абелевых… …   Математическая энциклопедия

• КОГОМОТОПИЧЕСКАЯ ГРУППА — одно из обобщений одномерной группы когомологпй, понятие, в нек ром смысле дуальное понятию гомотопической группы. Пусть pn (Х)=[ Х, Sn] множество гомотопич. классов непрерывных отображений пунктрированного топологич. пространства Xв… …   Математическая энциклопедия

• БОРДИЗМ — бордантность, термин, употребляющийся самостоятельно или в составе стандартных словосочетаний в нескольких родственных смыслах (почти во всех из них вместо Б. раньше говорили о кобордизмах; старая терминология тоже сохранилась) . Простейший… …   Математическая энциклопедия